mathematical logic的例句大全

It is based on mathematical logic-based language function, based on the lambda calculus.

它是以数学逻辑为基础的函数式语言, 基于lambda演算.

Therefore, the three basic laws are not applicable to orthodox mathematical logic.

故而, 传统形式逻辑三大基本规律在正统数理逻辑中均不能成立.

Calculus of the mathematical logic of the grammar part.

演算的研究组成了数理逻辑的语法部分.

He made fundamental contributions to quantum mechanics, functional analysis, and mathematical logic.

他在量子力学 、 功能分析和数学逻辑方面做出了基础性的贡献.

In mathematical logic in the study is the main target of all kinds of calculus.

在数理逻辑中研究的主要对象是各种演算.

This article mainly discusses several mathematical logic thinking methods and their applications in artistic design.

数理逻辑思维方法在艺术设计中历来有广泛的运用,一般体现在比例、数列、尺度、模度等方面.

The logic in daily lives of students in point school inclines to mathematical logic morethan the students in common school.

重点学校的学生比普通学校的学生日常推理更加倾向于使用数学推理。

Probability and fuzzy logic were two main mathematical disciplines to address uncertainty.

随机数学和模糊数学是描述不确定性现象的两种主要数学方法.

Fuzzy logic is a mathematical method handling imprecise or subjective information.

模糊逻辑是处理不精确或主观信息的一个数学方法.

The Turing course was one on the chess game of mathematical logic; extracting the neatest and tightest set of axioms from which to begin,

图灵的课，是一场数学逻辑的游戏，由最初的公理，推导出整洁而严密的定理，

Based on modern mathematical logic, Russell put forward an ontology of Logical Atomism, an empirical epistemology with the principle of acquaintance and a theory of meaning, quite different from the theories of former philosophers.

立足于现代数理逻辑，罗素提出了与前辈哲学家的理论迥然不同的逻辑原子主义本体论、以亲知原则为特征的经验主义认识论和意义理论。

Combinatory logic is proposed to be a mathematical foundation of the semantics of programming languages.

本文提出以合成逻辑（Combinatory logic）作为程序设计语言语义学的数学基础。

This introduced the idea of relative computability, or relative unsolvability, which opened up a new field of enquiry in mathematical logic.

这就引入了“相对可计算性”的观点，或者说相对不可计算性，于是开创了一个数理逻辑的新领域。